but FIPS doesn't specify 1024 only?