Low-level, optimized implementation using Radix 2^51 for Curve 25519. See the bigint implementation for other curves.