issue #3: use GMPY2 for floating point arithmetic