Constant K

const K: u64 = 0x517cc1b727220a95;

Simplified implementation, in particular running on a system with 64 bit usize is assumed.

Check out the Firefox code for a full description.