higher bound a float
i in mate ___