PHP library to do prime manipulation, as efficiently as possible.