# Prime Field A comprehensive macro to declare a prime field.