Inputs must be nonnegative scalar integers. N must be less than 2^53. K must be less than or equal to N.