// IMPLEMENTATION OF https://arxiv.org/pdf/1812.10844.pdf

pub type Money = u64;