We (libre-riscv.org) are thinking of using bigfloat to test a hardware floating-point implementation. It would be useful to be able to extract the exact value as a python2 long/python3 int since that's probably much more efficient than using conversion to/from string for each conversion.