Description: If A is not an integer, then the floor of A is less than A. (Contributed by Glauco Siliprandi, 11-Dec-2019)