Jit64: implement ps_res This is probably more accurate than it is allowed to be. After all, the instructions are supposed to be "estimates".