higher bound is is

a float able float less float✕