Fix for issue #24 - `double`