Undo float64-conversion-fix