FPT uses ints instead of double