removed obsolete float casting