let number v = let s = Hstring.view v in if s.[0] = '#' then int_of_string (String.sub s 1 (String.length s - 1)) else 1