@bsnote: @bnoordhuis is right, it should be numerical.