add JSONEncoder for native Sage number types (float reals and integers)