Rounded Binary Form Definition