Decimal point indexes? I think they round down, but still strange.