At least, as long as float64 input is provided, so that we can downcast manually (We should also add tests for this)