Return float64 by default from div ops