lua numbers produces double variants?