<!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN"><html><head><meta content="text/html;charset=UTF-8" http-equiv="Content-Type"></head><body ><div style='font-size:10pt;font-family:Verdana,Arial,Helvetica,sans-serif;'><br>> Also, I'm not entirely sure we want to add those types to decimal in the stdlib. It would be a lot less work to implement them in terms of an existing C implementation (maybe using the native types if the exist, Intel's library if they don't). But I don't think that's necessarily desirable for the stdlib.<br><br>Wrong. The specification we're following is almost IEEE-2008. Mike Cowlishaw<br>evolved the spec while he was on the IEEE commitee.<br><br>The Intel library is very slow for decimal128, and last time I looked it did not<br>promise correct rounding! That fact was deeply buried in the docs.<br><br><br>As an aside, I'm not sure how serious the "Float Update" thread was,<br>given that the OP tried to sneak the Grothendieck prime past us.<br><br><br><br>Stefan Krah<br></div></body></html>