I think that a float will just get automatically promoted to a double, but I'll double check it.