Moving BigFloat to stdlib?