Floats ###### A floating point is a real number of the builtin type ``Float`` or ``Double`` Syntax ====== .. productionlist:: Float: ( [`Integer`] "." `Integer` ) | ( `Integer` "." [`Integer`] ) Examples -------- :: pi = 3.141_592 one_tenth = .1