Fix the "defaulting to Double" warning