[math-fun] Prime-encoding constants/functions