ref: 2bab10b60b3f4d3bbefdcb60410655f317d1a452 dir: /bugs-fixed/numeric-subsep.awk/
BEGIN { SUBSEP = 123.456; a["hello", "world"] = "foo"; print a["hello" SUBSEP "world"]; }