Minor fixes to 1.3 RC 1

- improved  support for non async code for Check.ThatAsyncCode (catch thrown exceptions)
- forced local for string conversion of double and float