Also, generally if you're doing a lot of math with floats (or some other numeric type) you can do: Float.(x + y * 2.0 - z / w) or even just open the Float

Also, generally if you're doing a lot of math with floats (or some other numeric type) you can do: Float.(x + y * 2.0 - z / w) or even just open the Float module locally Also, the with-open-file problem can be solved pretty simply by using GADTs (and this makes it simple to differentiate between the different modes you can open a file in, as well).