FPT internally uses int and some bug Fixes