python-nicefloat