Ensure we use floor division when dividing intergers.
Avoid shadowing a variable in the prism orthonormal basis.