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