Update the docs, we list the default MySQL cast there (see issue #22).