public void Write(PDBFile pdb, Stream stream) { TypeDataWriter w = CreateWriter(LeafType.LF_REAL32); w.WriteSingle(Value); w.WriteHeader(); }