make truediv available to pseudocode