Use double constants

Float constants will anyway be converted to double because other operand is double.