Frontend: Fix number parsing from options