Thank you, idb, for a patch that fixes an overflow issue in casting string -> int for both engines, and adds tests!