ParentFull threadcirno·And djb's implementations of Ed25519, Curve25519 use this exact radix 2^51 trick.View on HN