stupid reals need a decimal point