ieee(3) and many older sources mention p854 as an extension to standard 754. I cannot find any trace of p854 past 1985. Has it been obsoleted by the development of 754? Thanks Anton