Standardize modulo operator % on real numbers (step 2)

[videlec]

For any subset of the real numbers we change the modulo operator to be

x%y is the unique x' between [0,y) of the form x + ny with n integer

This ticket affects floating point numbers, interval and balls.

See this sage-devel thread and also #15260

Depends on #21746
Depends on #21745

Component: basic arithmetic

Author: Vincent Delecroix

Issue created by migration from https://trac.sagemath.org/ticket/21747