Constant ONE 

pub const ONE: u64 = 1;

Marker point 1: the unary one; powers of two are 2^k = (2^(k-1) 2^(k-1)).