(assert Float16