No matches were found for subject:"\[sqlite\] how to get a reliable Integer from a Real\?"