MATH
style
negative remainders, take 2
blinding
split out rng

... and hopefully actually implement one
hook up