jpdb beta

1. to cut down; to prune; to reduce; to cut and hang down; to cut shorter

2. to round down (e.g. fraction)