realgeometry: libm3
