higher bound a float
ant ion a float ant ___