fixed range check for F_t