Comments:FractionalPart Function
From GeoGebra Manual
Manual:FractionalPart Function The following picture shows the two possible definitions of fractional part function, the lower one is used in GeoGebra.
es:Función parteFraccionaria fr:Fonction_PartieFractionnaire