3.5 Real net declarations Changed (and relocated) from previous definition. This is an attempt to formalize $realtobits(), etc. Most of the semantics and syntax is missing from the definition. No rules provided for conversions with other net types. Expect Verilog-2k to conflict. This looks like a highly unportable feature.