Create pe3.ml

this is the int version which is limited to system (32 or 64 bit) integer. still have problem with big_int