Added tests for 'useDoubleNumbers' and other minor changes