range_canbe
case U64: { range_canbe(u64); }
case U32: { range_canbe(u32); }
case S64: { range_canbe(s64); }
case S32: { range_canbe(s32); }