Fix #106: Float needs a doubleValue() method
Fix #106: Float needs a doubleValue() method

ceylon/ceylon.language,jvasileff/ceylon.language,lucaswerkmeister/ceylon.language,unratito/ceylon.language,unratito/ceylon.language,ceylon/ceylon.language,lucaswerkmeister/ceylon.language,jvasileff/ceylon.language