added changes info per Apache-2.0
finished divmod fragment