Information technology. Programming languages, their environments, and system software interfaces. Floating-point extensions for C - Binary floating-point arithmetic