eval: rexp3 should operate with 64bit numbers