implemented exponent in parser, tbh i still don't completely understand how this works and i can't prove my implementation's correctness. but i tested it quite heavily and it seems to work, we should still check this over tho