builtins fix for double precision svml and __stdlib_asin