Emit double as return value instead of num#256

srujzs merged 3 commits intodart-lang:maindart-lang/web:mainfrom

srujzs:fixnumssrujzs/web:fixnumsCopy head branch name to clipboard