update setup.py (cookie-cut from ieee754fpu)