sync Java/Ceylon definitions of Float+Integer