use floats for numbers instead of ints
lex: fix float literals
fix printing of floats
atoms: more flexible printing functions

Also, we do not print the decimal point if a number is actually an
integer.
prim: 'remainder' works for floats as well
Merge pull request #1 from nojb/float-numbers

Use floats instead of ints for numbers