Version 0.5.3.

No, it's only `DataInputStream`, as the sentence a few lines below says:

> Currently, the only additional class is `java.io.DataInputStream`.