Float16

extension Float16: TensorNumeric