Elementwise NeuralFloat approximation proofs.

This module contains operation-level error bounds for scalar elementwise nodes used by the normal-form runtime approximation development.