// BUG: Numeric error in parameter