idris2-fixed: Fixed dependent type for working with fixed-point arithmetic

This library provides the Fixed dependent type, which can be used to represent and work with fixed-point numbers.