Description: The "distance to nearest integer" function is a function. (Contributed by Asger C. Ipsen, 4-Apr-2021)