epsilon ids
a float in a float proof ___