of_float takes only integers for now, do arbitrary floats later