add doc/syntax/num.html