correctly implement secp256k1's prime field

[q9f]

• It’s easier and more correct to implement secp256k1’s prime field
• Then you don’t have to worry about doing the operations modulo the order
• You just perform them all on the finite field
• It’s like a nice logical building block