Uncomment ckfinite and ckfinitef functions, they compile as expected when using the proto-compiler (unlike an earlier version of the function which didn't compile due to using static dispatching on a type variable).