utils/curve25519.sage: Remove redundant coercion to field k.