BoundOps instance for IEEE32Exec

This instance plugs the executable float32 directed-rounding primitives from NN/Floats/IEEEExec/Exec32.lean into the IBP/CROWN endpoint propagation code.

With this, any IBP code written in terms of BoundOps can be run with α := IEEE32Exec to get float32-grid, outward-rounded interval propagation (subject to the usual finiteness preconditions).

@[implicit_reducible]

instance NN.MLTheory.CROWN.instBoundOpsIEEE32Exec : BoundOps TorchLean.Floats.IEEE754.IEEE32Exec

BoundOps for IEEE32Exec, using the executable directed-rounding endpoint primitives.