tree 8ac02b9b7e66f06916af169e2d290988f13b91a0
parent 025607cd2e381e6e08a56ffec46ac79e23ca2d88
author Gustavo Niemeyer <gustavo@niemeyer.net> 1384338281 -0200
committer Gustavo Niemeyer <gustavo@niemeyer.net> 1384338281 -0200

Fix cross-type decoding of numbers.

Fixes #1245752.