to be cast to float16_t because the bits are stored in the lower half of the type)
core::intrinsics::size_of