I support both adding this type and calling it Float16. I am not opposed to adding a typealias for it called Half if there’s enough support.
2 Likes
I support both adding this type and calling it Float16. I am not opposed to adding a typealias for it called Half if there’s enough support.