[Haskell-cafe] vector-sized: (//) Finites to Ints?