Template:c/experimental/fpext1/navbar heading

Floating-point extensions part 1: Binary floating-point