deterministic scaling functions that use fixed point numbers and multi-party verification of the relation between the original and the scaled versions, mainly. i could easily write a sinc function using fixed point integers, like, as a pair of 64 bit limbs one being the integer part, and the other being fractional.