According to https://www.erlang.org/doc/reference_manual/data_types.html#number numbers can have underscores inserted for readability. Erlide flags this as a syntax error however.