Internet Archive BookReader - Decimals and decimalisation; a study and sketch