var a01671 = [ [ "decimal128", "a00701.html", "a00701" ], [ "decimal32", "a00702.html", "a00702" ], [ "decimal64", "a00703.html", "a00703" ] ];
var a01671 = [ [ "decimal128", "a00701.html", "a00701" ], [ "decimal32", "a00702.html", "a00702" ], [ "decimal64", "a00703.html", "a00703" ] ];