/** * Serializes the given real. Reals will always be serialized in one peice. * * @see openllet.aterm.ATermFwdVoid#voidVisitReal(ATermReal) */ @Override public void voidVisitReal(final ATermReal arg) { _currentBuffer.put(getHeader(arg)); writeDouble(arg.getReal()); }