sascii.sqlite decimal division option