Floating-point operations for bv-sized - View it on GitHub