Sorted out implicit rules for p2oct conversion