Modify `ArbFloat` to use the format of IEEE 754

This PR will resolve the issue #7.