should we say floating point number instead?