exposing remainderP