Validate integer and floating_point sizes