mathlib3

perf(data/gaussian_int): speed up div and mod

#1394

Merged