They need it operationally for calculations and such, but those calculations don't necessarily need to be statically validated beyond simple things like type an

They need it operationally for calculations and such, but those calculations don't necessarily need to be statically validated beyond simple things like type and unit checking.