integer over double