layout.json: fix number strings into actual numbers.