added typing for literal numbers