also accept numbers like 100_000 as variably typed