The following picture shows the two possible definitions of fractional part function, the lower one is used in GeoGebra.