Fix factorint

It was using eval instead of get (thanks to David Li who found the error).
Bump version to 13