My default Float type is Float64, however, I want to change that to Float32 as they are faster on my machine. I can set a global constant like const Float = Float32, but that forces me to use Float32 constructor everywhere. I wonder if there were a way to set the default float in a local environment.