Float128.xs - minor fixes