There is a fixed-point encoding "example" here. It's very old and probably shouldn't be an example anyway. We should look at whether it contains any useful ideas and, if so, they should be incorporated into @wilko77 's feature-fixedPointEncoding branch.
