RISC-V RVV fractional LMUL check is wrong