pub const fn double(a: [u64; 4], p: [u64; 4]) -> [u64; 4]