vertex_encoding() always claims Double, but write() may write floats.
vertex_encoding()
Double
write()