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