tiny-fixedpoint An abstract domain implementation representing significant bits in fixedpoint operations.