add Float atom, in addition to ints