Make development environment working on Windows too.
Fix deserialization of BigDecimal. Fixes #588.