py-bigfloat is a stub port
