Explicit MPC: Hard constraint satisfaction under low precision arithmetic. (February 2016)